@.formatting.string = private constant [4 x i8] c"%d\0A\00"
define i32 @main() {
entry:
  %tmp0 = alloca i32
  store i32 0, i32 * %tmp0
  %tmp1 = icmp slt i32 12, 11
br i1 %tmp1, label %label0, label %label1
label0:
  %tmp2 = add i32 5, 2
  %tmp3 = getelementptr [4 x i8] * @.formatting.string, i32 0, i32 0
  %tmp4 = call i32 (i8 *, ...)* @printf(i8 * %tmp3, i32 %tmp2)
br label %label2
label1:
  %tmp5 = getelementptr [4 x i8] * @.formatting.string, i32 0, i32 0
  %tmp6 = call i32 (i8 *, ...)* @printf(i8 * %tmp5, i32 10)
br label %label2
label2:
  %tmp7 = load i32 * %tmp0
  ret i32 %tmp7
}
declare i32 @printf (i8 *, ...)
declare i8 * @malloc (i32)
